首页> 外文OA文献 >Markov Automata: Deciding weak bisimulation by means of non-näıvely vanishing states

【2h】

Markov Automata: Deciding weak bisimulation by means of non-näıvely vanishing states

机译：马尔可夫自动机：通过非偶然消失的状态来决定弱互模拟

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Johann Schustera; Markus Sieglea;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Markov Automata: Deciding weak bisimulation by means of non-naievely vanishing states [J] . Johann Schuster, Markus Siegle Information and computation . 2014,第octa期

机译：马尔可夫自动机（Markov Automata）：通过非单纯消失状态决定弱双仿真
2. Deciding probabilistic automata weak bisimulation: theory and practice [J] . Fioriti Luis Maria Ferrer, Hashemi Vahid, Hermanns Holger, Formal Aspects of Computing . 2016,第1期

机译：确定概率自动机弱双仿真的理论和实践
3. On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation [J] . Vahid Hashemi, Holger Hermanss, Andrea Turrini Electronic Communications of the EASST . 2014,第3期

机译：确定概率自动机弱双仿真的效率
4. Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes [C] . Marco Bernardo International symposium on trustworthy global computing . 2012

机译：顺序过程的弱Markovian双模拟同余和精确的CTMC级聚合
5. Simulating vegetation change in the Torngat Mountains, Labrador using a cellular automata-Markov chain model. [D] . Upshall, Michael. 2011

机译：使用元胞自动机-马尔可夫链模型模拟拉布拉多Torngat山区的植被变化。
6. On approximating a weak Markovian process as Markovian: Are we justified when discarding longtime correlations [O] . Kai-Yang Leong, Feng Wang -1

机译：关于将微弱的马尔可夫过程近似为马尔可夫论：丢弃长期相关性时我们是否合理？
7. Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States [O] . Schuster, Johann, Siegle, Markus 2014

机译：马尔可夫自动机：通过非天真的方式决定弱双模拟消失的国家

Markov Automata: Deciding weak bisimulation by means of non-näıvely vanishing states

著录项

引文网络

相似文献

相关主题

期刊订阅